In day-to-day life we use logical reasoning, ofen wthout thinking "I can hear rain on the window and I'm about to go out, so I'll take an umbrella". Formal logics aim to make this explciit using mathematical notations and foxed sets of reasning rules.
Used on Chap. 2: pages 20, 21